منابع مشابه
The Constructive Second Number Class*
The existence of at least a vague distinction between what I shall call the constructive and the non-constructive ordinals of the second number class, that is, between the ordinals which can in some sense be effectively built up to step by step from below and those for which this cannot be done (although there may be existence proofs), is, I believe, somewhat generally recognized. My purpose he...
متن کاملConstructive Second-Order Proofs in Logical Databases
The constructive second-order proofs that we study are associated with inductive definitions on classes of finite structures, where each structure represents a database state. To an inductive definition of a predicate P on a class K corresponds a uniform proof of P i.e a function which for each structure U defines a proof of P in U In the second section, we review the definition of an inductive...
متن کاملConstructive Versions of Ordinal Number Classes
0. Introduction and summary. Almost from its beginning, the theory of ordinal numbers has included results which can, in a rather concrete sense, be viewed as theorems about notations for ordinal numbers. For example the theorems on polynomial normal forms for those ordinals that lie below the least e number can be understood as providing a certain unique notation of finite length for each such...
متن کاملOn the Second Twist Number
It has been shown that the twist number of a reduced alternating knot can be determined by summing certain coefficients in the Jones Polynomial. In the discovery of this twist number, it became evident that there exist higher order twist numbers which are the sums of other coefficients. Some relations between the second twist number and the first are explored while noting special characteristic...
متن کاملAn upper bound to the second Hankel functional for the class of gamma-starlike functions
The objective of this paper is to obtain an upper bound to the second Hankel determinant $|a_{2}a_{4}-a_{3}^{2}|$ for the function $f$, belonging to the class of Gamma-starlike functions, using Toeplitz determinants. The result presented here include two known results as their special cases.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1938
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1938-06720-1